Strength Reduction via SSAPRE
نویسندگان
چکیده
We present techniques that allow strength reduction to be performed concurrently with partial redundancy elimination in the SSAPRE framework. By sharing the characteristics inherent to SSAPRE, the resulting strength reduction algorithm exhibits many interesting attributes. We compare various aspects of the new strength reduction algorithm with previous strength reduction algorithms. We also outline and discuss our implementation of the closely related linear function test replacement optimization under the same framework.
منابع مشابه
C-SSAPRE: Eliminating redundancy over copies
Partial Redundancy Elimination (PRE) is an optimization that prevents, where possible, the re-computation of an expression along some paths in a program. PRE is general enough to automatically implement loop-invariant code hoisting and global common sub-expression elimination. PRE appears to be especially beneficial for functional programs, where the class of expressions that may be moved is mu...
متن کاملAnticipation-based partial redundancy elimination for static single assignment form
Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) execution paths of a program without increasing any path length. Chow, Kennedy, et al. devised an algorithm (SSAPRE) for performing partial redundancy elimination on intermediate representation in static single assignment (SSA) ...
متن کامل15-745: Graduate Compilers Project SSAPRE in MLton (Notes for Milestone)
MLton [1] is a high performance whole-program compiler for Standard ML [2]. One of MLton’s intermediate representations is a form of static single assignment control flow graphs [”SSA”; 5]. Though much care is taken to transform the functional source language into an efficient form with explicit loops (much like a C or Java compiler might produce), only a few simple optimizations are done on th...
متن کاملPartial Redundancy Elimination in SSA
The SSAPRE algorithm for performing partial redundancy elimination based entirely on SSA form is presented. The algorithm is formulated based on a new conceptual framework, the fac-tored redundancy graph, for analyzing redundancy, and represents the rst sparse approach to the classical problem of partial redundancy elimination. At the same time, it provides new perspectives on the problem and o...
متن کاملControlling the Occurrence of Rogue Waves in an Optically Injected Semiconductor Laser via Changing The Injection Strength
The rouge waves in an optically injected semiconductor lasers are receiving a lot of interest. In this work, the generating and controlling of the rogue waves in semiconductor lasers have been investigated. For this purpose, the laser’s rate equations are solved numerically in a specified time interval, then the field amplitude and the intensity versus time are calculated and analyzed. To solve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998